How to do something to each file in a directory with a batch script